P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE GTEMP23) (QUOTE GTEMP2
**4) (QUOTE BA3) (QUOTE BA4))
*F GTEMP9
*0 P
(SUBST (QUOTE X) (QUOTE BA2) GTEMP9)
*0 P
(CONS (QUOTE AND) (SUBST & & GTEMP9))
*REDO F
REDO F
0 0 0 P
(LIST (QUOTE SETQ) (QUOTE GTEMP23) (LIST & & &))
*4 P
(LIST (QUOTE ANY1SAT) (LIST & &) (SUBST & & GTEMP9))
*4 (MBD CONS 'AND)

*P
(CONS (QUOTE AND) (SUBST & & GTEMP9))
*0 0 P
(LIST (QUOTE SETQ) (QUOTE GTEMP23) (LIST & & &))
*NX P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (LIST & &) (QUOTE BA2))
*5 P
(LIST (QUOTE KWOTE) (QUOTE GTEMP23))
*XTR 3
0 P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE GTEMP23) (QUOTE BA2))
*(N 'BA3 'BA4)

*F GTEMP9
*0 0 0 P
(LIST (LIST & & &) (CONS & &))
*2 P
(LIST (QUOTE AND) (QUOTE BA1) (QUOTE BA2))
*NX P
(CONS (QUOTE AND) (APPEND GTEMP9 &))
*0 0 P
(LIST (LIST & & &) (LIST & &) (LIST & &) (LIST & &))
*2 PP
  [LIST (LIST (QUOTE AND)
              (LIST (QUOTE NULL)
                    (QUOTE BA1))
              (LIST (QUOTE NULL)
                    (QUOTE BA2)))
        [LIST (QUOTE SETQ)
              (QUOTE GTEMP23)
              (LIST (QUOTE ANY1SAT)
                    (LIST (QUOTE EXS)
                          (CAR BAL1))
                    (SUBST (QUOTE X)
                           (QUOTE BA1)
                           (SETQ TMP2 (SUBSET-INVOLVING-ONLY GTEMP9 (QUO
**TE BA1]
        (LIST (QUOTE COND)
              (LIST [LIST (QUOTE SETQ)
                          (QUOTE GTEMP24)
                          (LIST (QUOTE ANY1SAT)
                                (LIST (QUOTE EXS)
                                      (CADR BAL1))
                                (CONS (QUOTE AND)
                                      (SUBST (QUOTE X)
                                             (QUOTE BA2)
                                             (SUBST (QUOTE GTEMP23)
                                                    (QUOTE BA1)
                                                    (SET-DIFF GTEMP9 TMP
**2]
                    (LIST (QUOTE APPLYB)
                          (KWOTE CS-B)
                          (Q ALGS)
                          (QUOTE GTEMP23)
                          (QUOTE GTEMP24)
                          (QUOTE BA3)
                          (QUOTE BA4)))
              (LIST T (LIST (QUOTE APPLYB)
                            (KWOTE NEWB)
                            (Q ALGS]
*NX PP
  [LIST (LIST (QUOTE AND)
              (QUOTE BA1)
              (LIST (QUOTE NULL)
                    (QUOTE BA2)))
        (LIST (QUOTE AND)
              [LIST (QUOTE SETQ)
                    (QUOTE GTEMP24)
                    (LIST (QUOTE ANY1SAT)
                          (LIST (QUOTE EXS)
                                (CADR BAL1))
                          (CONS (QUOTE AND)
                                (SUBST (QUOTE X)
                                       (QUOTE BA2)
                                       GTEMP9]
              (LIST (QUOTE APPLYB)
                    (KWOTE CS-B)
                    (Q ALGS)
                    (QUOTE BA1)
                    (LIST (QUOTE KWOTE)
                          (QUOTE GTEMP24]
*-1 -1 -1 P
(LIST (QUOTE KWOTE) (QUOTE GTEMP24))
*XTR 3
*(A 'BA3 'BA4)

*0 P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE BA1) (QUOTE GTEMP24) (
**QUOTE BA3) (QUOTE BA4))
*0 0 P
(LIST (LIST & & &) (LIST & & &))
*NX PP
  [LIST (LIST (QUOTE AND)
              (LIST (QUOTE NULL)
                    (QUOTE BA1))
              (QUOTE BA2))
        (LIST (QUOTE AND)
              [LIST (QUOTE SETQ)
                    (QUOTE GTEMP23)
                    (LIST (QUOTE ANY1SAT)
                          (LIST (QUOTE EXS)
                                (CAR BAL1))
                          (CONS (QUOTE AND)
                                (SUBST (QUOTE X)
                                       (QUOTE BA1)
                                       GTEMP9]
              (LIST (QUOTE APPLYB)
                    (KWOTE CS-B)
                    (Q ALGS)
                    (QUOTE GTEMP23)
                    (QUOTE BA2)
                    (QUOTE BA3)
                    (QUOTE BA4]
*NX PP
  [LIST (LIST (QUOTE AND)
              (QUOTE BA1)
              (QUOTE BA2))
        (CONS (QUOTE AND)
              (APPEND GTEMP9 (LIST (QUOTE APPLYB)
                                   (KWOTE CS-B)
                                   (Q ALGS)
                                   (QUOTE BA1)
                                   (QUOTE BA2]
*-1 -1 P
(APPEND GTEMP9 (LIST & & & & &))
*3
*MBD LIST
*P
(LIST (LIST & & & & &))
*-1 -1 P
(QUOTE BA2)
*(A 'BA3 'BA4)

*0 P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE BA1) (QUOTE BA2) (QUOT
**E BA3) (QUOTE BA4))
*OK

ANYB-EXS, FILLIN2
FILLIN2
:FIXCOMS
FIXCOMS=FIX COMS ?  No
u.b.a.
FIXCOMS
(XEQ-CAND broken)
:LOADVARS(FIXCOMS FIX)
u.b.a. FIXEDCONS {in EVAL} in (CONS (QUOTE ALL) FIXEDCONS)
   (FIXEDCONS broken)
:FIXCOMS
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * (LIST (CONS (QUOTE IFPROP) (CONS (QUOTE
ALL) FIXEDCONS)))))
:EDITV(TOP4COMS)
edit

*F ANY1OFE
*OK
TOP4COMS
:BT
EVAL
PRETTYCOM1
NEWFILEBLOCK
UPDATEFILES
ADDFILE
ERRORSET
LOADFNSBLOCK
LOADFNS
LOADVARS
**BREAK**
XEQ-CAND
PROG
TLOOP
START
**TOP**

:RETFROM(LOADVARS T)
T
:

(XEQ-CAND broken)
:EDITV(FIXCOMS)
edit

*P
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * &))
*1 (2)

*(2 ANY1OFE)

*P
(FNS ANY1OFE)
*0 P
((FNS ANY1OFE) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COMS * &))
*(4)

*PP
  [(FNS ANY1OFE)
   GLOBALVARS FIXEDCONS TOP4COMS (COMS *(LIST (CONS (QUOTE IFPROP)
                                                    (CONS (QUOTE ALL)
                                                          FIXEDCONS]
*OK
FIXCOMS
:EDITV(UTIL4COMS)
edit

*2 P
BB
*UP P
... BB GLOBALVARS REPR-FNS SAVECOMS STICKY-B STICKY-P SYS-FORGET-LIST UC
**ASELST VERSION (USERMACROS C COPY) (P &) (
DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS &))
*(-2 FIXCOMS)

*OK
UTIL4COMS
:SET(FIXEDCONS (ANYB-EXS COMPOSE]
(ANYB-EXS COMPOSE)
:
EDITF(CHANGE-B)
edit

*P
(LAMBDA (B P CP) (COND & & & &) (SETQ STICKY-B B) (SETQ STICKY-P P) (OR 
**& &) (ERRORSET &) (DEFB B) (TERPRI) (PRIN1
B) (PRIN1 COMMA) (PRINT P))
*(N (SETQ FIXEDCONS (CONS B FIXEDCONS]

*OK
CHANGE-B
:REDO EDITV
edit
*2 UP P
... BB FIXCOMS GLOBALVARS REPR-FNS SAVECOMS STICKY-B STICKY-P SYS-FORGET
**-LIST UCASELST VERSION (USERMACROS C COPY) (P
&) (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS &))
*(-3 FIXEDCONS)

*OK
UTIL4COMS
: IO WAIT AT 16131  LOAD AV. =   2.14, USED 0:02:38.4 IN 0:55:57
EDITV(FIXCOMS)
edit

*(-2 CONCEPTS)

*P
((FNS ANY1OFE) CONCEPTS GLOBALVARS FIXEDCONS TOP4COMS (COMS * &))
*(3)

*PP
  [(FNS ANY1OFE)
   CONCEPTS FIXEDCONS TOP4COMS (COMS *(LIST (CONS (QUOTE IFPROP)
                                                  (CONS (QUOTE ALL)
                                                        FIXEDCONS]
*OK
FIXCOMS
:MAKEFILE(FIX)
FILE CREATED  4-AUG-75 17:04:14
FIXCOMS
(FIXCOMS reset)
(FIXEDCONS reset)
(TOP4COMS reset)

GC: 30
73, 1609 FREE WORDS
πinterrupted before /PUT

   (/PUT broken)
:FIXCOMS
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * (LIST (CONS (QUOTE IFPROP) (CONS (QUOTE
ALL) FIXEDCONS)))))
:CLOSEF)
<LENAT>FIX.;3
:

(/PUT broken)
:RETFROM(MAKEFILE T)
T
:
CLOSEF(FIX)

(XEQ-CAND broken)
:CLOSEF(FIX)

FILE NOT OPEN
FIX
(XEQ-CAND broken)
:CLOSEF)
NIL
:
FIXCOMS
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * (LIST (CONS (QUOTE IFPROP) (CONS (QUOTE
ALL) FIXEDCONS)))))
:UNDO MAKEFILE
nothing saved.
:CHANGE-B)
ANYB-EXS
FILLIN2
... FILLIN2 (APPEND &) CHECK1 (AND &) SUGG (APPEND & &) WORTH (0) INIT (
**ANY-OF NIL) CHECK2 (AND &) SPEC (ACTIVE-EXS
OBJECT-EXS STRUCTURE-EXS))
tty:

*F GTEMP24
*0 0 PP
  [LIST (QUOTE SETQ)
        (QUOTE GTEMP24)
        (LIST (QUOTE ANY1SAT)
              (LIST (QUOTE EXS)
                    (CADR BAL1))
              (SUBST (QUOTE X)
                     (QUOTE BA2)
                     (SUBST (QUOTE GTEMP23)
                            (QUOTE BA1)
                            (SETDIFF GTEMP9 TMP2]
*